#include "kernel/types.h"
#include "kernel/stat.h"
#include "user/user.h"

int main(int argc, char* argv[])
{
	if (argc != 2)
	{
		fprintf(2, "Parameter input error\n");
		exit(1);
	}
	
	int ticks = atoi(argv[1]);
	if (ticks <= 0)
	{
		fprintf(2, "Invalid input!\n");
		exit(1);
	}
	printf("nothing happens for %d second\n", ticks);
	
	sleep(ticks);
	exit(0);
}
